PLATE-FORME DOCUMENTAIRE ALGERIENNE
Accueil
Livre
Informations de livre
| Titre | Tools and Algorithms for the Construction and Analysis of Systems |
| Domaine(s) | Informatique |
| Auteur(s) | Armin Biere,David Parker |
| Editeur(S) | Springer open |
| parution | 2020 |
| Source De livre | Lien de livre |
| EAN13/ISBN | 978-3-030-45190-5 |
livre de méme domaine
Titre : Sécurité i...
Auteur(s) : Laurent Bl...
Editeur(s) : EYROLLES
EAN13 : 978-221213...
Langue : français
29
54
Titre : La program...
Auteur(s) : Hugues Ber...
Editeur(s) : EYROLLES
EAN13 : 978-2-212-...
Langue : français
10
20
Titre : La Boîte à...
Auteur(s) : Cyril Blad...
Editeur(s) : Dunod
EAN13 : 21007493...
Langue : français
18
13
Titre : Exercices...
Auteur(s) : Claude Del...
Editeur(s) : EYROLLES
EAN13 : 978-2-212-...
Langue : français
13
15